Lazy Stream Programming in Prolog

In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages. Unfortunately, support in Prolog has so far been lacking and most existing approaches are ad-hoc. To remedy this situation, we present lazy stream generators as a unified Prolog interface for stateful computations on both finite and infinite sequences of data that are produced incrementally through I/O and/or algorithmically. We expose stream generators to the application programmer in two ways: 1) through an abstract sequence manipulation API, convenient for defining custom generators, and 2) as idiomatic lazy lists, compatible with many existing list predicates. We define an algebra of stream generator operations that extends Prolog via an embedded language interpreter, provides a compact notation for composing generators and supports moving between the two isomorphic representations. As a special instance, we introduce answer stream generators that encapsulate the work of coroutining first-class logic engines and support interoperation between forward recursive AND-streams and backtracking-generated OR-streams. Keywords: lazy stream generators, lazy lists, first-class logic engines, stream combinators, AND-stream / OR-stream interoperation, Prolog extensionsComment: In Proceedings ICLP 2019, arXiv:1909.0764

Prediction of electroconvulsive therapy response and remission in major depression: Meta-analysis

Electroconvulsive therapy (ECT) is considered to be the most effective treatment in severe major depression. The identification of reliable predictors of ECT response could contribute to a more targeted patient selection and consequently increased ECT response rates. Aims To investigate the predictive value of age, depression severity, psychotic and melancholic features for ECT response and remission in major depression. Method A meta-analysis was conducted according to the PRISMA statement. A literature search identified recent studies that reported on at least one of the potential predictors. Results Of the 2193 articles screened, 34 have been included for metaanalysis. Presence of psychotic features is a predictor of ECT remission (odds ratio (OR) = 1.47, P = 0.001) and response (OR = 1.69, P < 0.001), as is older age (standardised mean difference (SMD) = 0.26 for remission and 0.35 for response (P < 0.001)). The severity of depression predicts response (SMD = 0.19, P = 0.001), but not remission. Data on melancholic symptoms were inconclusive. Conclusions ECT is particularly effective in patients with depression with psychotic features and in elderly people with depression. More research on both biological and clinical predictors is needed to further evaluate the position of ECT in treatment protocols for major depression

Interrogating Associations Between Polygenic Liabilities and Electroconvulsive Therapy Effectiveness

Background: Electroconvulsive therapy (ECT) is the most effective treatment for severe major depressive episodes (MDEs). Nonetheless, firmly established associations between ECT outcomes and biological variables are currently lacking. Polygenic risk scores (PRSs) carry clinical potential, but associations with treatment response in psychiatry are seldom reported. Here, we examined whether PRSs for major depressive disorder, schizophrenia (SCZ), cross-disorder, and pharmacological antidepressant response are associated with ECT effectiveness. Methods: A total of 288 patients with MDE from 3 countries were included. The main outcome was a change in the 17-item Hamilton Depression Rating Scale scores from before to after ECT treatment. Secondary outcomes were response and remission. Regression analyses with PRSs as independent variables and several covariates were performed. Explained variance (R 2) at the optimal p-value threshold is reported. Results: In the 266 subjects passing quality control, the PRS-SCZ was positively associated with a larger Hamilton Depression Rating Scale decrease in linear regression (optimal p-value threshold = .05, R 2 = 6.94%, p < .0001), which was consistent across countries: Ireland (R 2 = 8.18%, p = .0013), Belgium (R 2 = 6.83%, p = .016), and the Netherlands (R 2 = 7.92%, p = .0077). The PRS-SCZ was also positively associated with remission (R 2 = 4.63%, p = .0018). Sensitivity and subgroup analyses, including in MDE without psychotic features (R 2 = 4.42%, p = .0024) and unipolar MDE only (R 2 = 9.08%, p < .0001), confirmed the results. The other PRSs were not associated with a change in the Hamilton Depression Rating Scale score at the predefined Bonferroni-corrected significance threshold. Conclusions: A linear association between PRS-SCZ and ECT outcome was uncovered. Although it is too early to adopt PRSs in ECT clinical decision making, these findings strengthen the positioning of PRS-SCZ as relevant to treatment response in psychiatry

Global wealth disparities drive adherence to COVID-safe pathways in head and neck cancer surgery

Peer reviewe

Causal effect of plasminogen activator inhibitor type 1 on coronary heart disease

Background--Plasminogen activator inhibitor type 1 (PAI-1) plays an essential role in the fibrinolysis system and thrombosis. Population studies have reported that blood PAI-1 levels are associated with increased risk of coronary heart disease (CHD). However, it is unclear whether the association reflects a causal influence of PAI-1 on CHD risk. Methods and Results--To evaluate the association between PAI-1 and CHD, we applied a 3-step strategy. First, we investigated the observational association between PAI-1 and CHD incidence using a systematic review based on a literature search for PAI-1 and CHD studies. Second, we explored the causal association between PAI-1 and CHD using a Mendelian randomization approach using summary statistics from large genome-wide association studies. Finally, we explored the causal effect of PAI-1 on cardiovascular risk factors including metabolic and subclinical atherosclerosis measures. In the systematic meta-analysis, the highest quantile of blood PAI-1 level was associated with higher CHD risk comparing with the lowest quantile (odds ratio=2.17; 95% CI: 1.53, 3.07) in an age- and sex-adjusted model. The effect size was reduced in studies using a multivariable-adjusted model (odds ratio=1.46; 95% CI: 1.13, 1.88). The Mendelian randomization analyses suggested a causal effect of increased PAI-1 level on CHD risk (odds ratio=1.22 per unit increase of log-transformed PAI-1; 95% CI: 1.01, 1.47). In addition, we also detected a causal effect of PAI-1 on elevating blood glucose and high-density lipoprotein cholesterol. Conclusions--Our study indicates a causal effect of elevated PAI-1 level on CHD risk, which may be mediated by glucose dysfunction

Complete propagation rules for lexicographic order constraints over arbitrary domains

We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches, the implementation is short and concise without giving up on the best known worst case time complexity. It is incremental and concurrent by nature of CHR. It is provably correct and confluent. It is independent of the underlying constraint system, and therefore not restricted to finite domains. We have found a direct recursive decomposition of the problem. We also show completeness of constraint propagation, i.e. that all possible logical consequences of the constraint are generated by the implementation. Finally, we report about some practical implementation experiments

Molecular mechanisms of necroptosis: an ordered cellular explosion

For a long time, apoptosis was considered the sole form of programmed cell death during development, homeostasis and disease, whereas necrosis was regarded as an unregulated and uncontrollable process. Evidence now reveals that necrosis can also occur in a regulated manner. The initiation of programmed necrosis, ‘necroptosis’, by death receptors (such as tumour necrosis factor receptor 1) requires the kinase activity of receptorinteracting protein 1 (RIP1; also known as RIPK1) and RIP3 (also known as RIPK3), and its execution involves the active disintegration of mitochondrial, lysosomal and plasma membranes. Necroptosis participates in the pathogenesis of diseases, including ischaemic injury, neurodegeneration and viral infection, thereby representing an attractive target for the avoidance of unwarranted cell death